Laminates meet Burkholder functions

BOTANY: BURKHOLDER AND Mc1EIGH

VAlloy - Virtual Functions Meet a Relational Language

We propose VAlloy, an extension to the first order, relational language Alloy. Alloy is suitable for modeling structural properties of object-oriented software. However, Alloy lacks support for dynamic dispatch, i.e., function invocation based on actual parameter types. VAlloy introduces virtual functions in Alloy, which enables intuitive modeling of inheritance. Models in VAlloy are automatica...

Applications of Pathwise Burkholder-davis-gundy Inequalities

In this paper, after generalizing the pathwise Burkholder-DavisGundy (BDG) inequalities from discrete time to cadlag semimartingales, we present several applications of the pathwise inequalities. In particular we show that they allow to extend the classical BDG inequalities (1) to the Bessel process of order α ≥ 1 (2) to the case of a random exponent p (3) to martingales stopped at a time τ whi...

GOFFIN: Higher-Order Functions Meet Concurrent Constraints

We introduce a higher-order constraint-based language for structured and declarative parallel programming. The language, called Goffin, systematically integrates constraints and user-deened functions within a uniform setting of concurrent programming. From the perspective of parallel programming methodology, the constraint part of Goffin provides a coordination language for the functional part,...

Quasi-concave functions on meet-semilattices

This paper deals with maximization of set f'unctions delined as minimum values of monotone linkage functions. In previous research, it has been shown that such a set function can be maximized by a greedy type algorithm over a family of all subsets of a finite set. ln this paper, we extend this finding to meet-semilattices. We show that the class of functions defined as minimum values of monoton...